label { text-align:right; margin:5px;}
dl {padding: 0.5em;}
dt {float: left; clear: left; width: 190px; text-align: right; font-weight: bold; color:darkgray;}
dt:after { content: ":"; }
dd { margin: 0 0 0 200px; padding: 0 0 0.5em 0; }
.bigsubmit {padding:10px;font-size:100%;}
button {font-size:200%;min-width:100px;border: 1px solid; background-image:-moz-linear-gradient( top, gray, lightgray );margin:5px;}
button:hover {background-image:-moz-linear-gradient( top, lightgray, gray );}
.code {font-family:monospace;font-size:14pt;color:white;background-color:black;max-width:100%;max-height:400px;overflow:auto;padding:20px;}
p.desc { border-style:solid; border-width:1px; border-radius: 5px; background-color:lightgray;padding:20px;margin:20px;color:black;}
.bigtitle {text-align:center;padding:10px;text-shadow: 3px 3px 4px gray; font-size:200%;}